Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
131	Software Security: A Formal Perspective (Notes for a Talk) Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2012-06-26 10:13:21 Cyberwarfare PaX Buffer overflow Stack buffer overflow Vulnerability Application security Formal methods Malware Static program analysis Software bugs Computer security Computing
132	TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group Marco Pistoia Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2010-09-02 06:19:16 Abstract data types Cross-platform software Procedural programming languages Static program analysis Program slicing Software maintenance Priority queue Pointer C Computing Software engineering Programming language theory
133	Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:25 Compiler construction Compiler optimizations Program analysis Procedural programming languages Compiler Static single assignment form GNU Compiler Collection Algorithm Register allocation Software Computing Programming language implementation
134	TYPE SAFETY IN THE LINUX KERNEL A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: saturn.stanford.edu Language: English - Date: 2011-04-27 02:12:51 Computing Data types Program analysis Type theory Pointer Aliasing Type safety Escape analysis Programming language Static program analysis Programming language theory Software engineering
135	Context- and Path-sensitive Memory Leak Detection Yichen Xie ∗ Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-07-07 17:35:01 Memory management Data types Static program analysis Software bugs Pointer Memory leak Delete C Shape analysis Computing Software engineering Computer programming
136	An analysis of Israeli perspectives on Iran Written evidence submitted by BICOM to the Foreign Affairs Select Committee inquiry on ‘UK Policy Towards Iran’ JanuaryExecutive Summary Add to Reading List Source URL: static.bicom.org.uk Language: English - Date: 2014-01-29 07:44:33 International relations Nuclear program of Iran Sanctions against Iran Nuclear proliferation Operation Opera Institute for Science and International Security United Nations Security Council Resolution Iran Iran–United States relations Politics of Iran
137	Taming the Lint Monster A personal perspective of the PC-Lint code analysis tool, and how to use it effectively Anna-Jayne Metcalfe Riverblade Limited Add to Reading List Source URL: www.riverblade.co.uk Language: English - Date: 2009-12-03 03:53:30 PC-Lint Coverity Lint MISRA C Splint Parasoft C Static program analysis Software Computing Cross-platform software
138	A Modular Static Analysis Approach to Affine Loop Invariants Detection Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-12-16 09:00:31 Division FO Mathematics Expected value Applied mathematics Program logic Predicate transformer semantics Theoretical computer science Binary arithmetic Computer arithmetic
139	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53 Static program analysis Termination analysis Automated theorem proving Programming paradigms Constraint programming Logic in computer science Prolog Unification Computer program Software engineering Computing Theoretical computer science
140	Visual Lint with IncrediBuild Flyer v2.pub Add to Reading List Source URL: www.riverblade.co.uk Language: English - Date: 2014-09-02 05:55:19 Xoreax Grid Engine Parallel computing Microprocessors PC-Lint Multi-core processor Lint Static program analysis Analysis Software Computing Compiling tools